A Many Systems Interpretation of Concurrency Control
نویسندگان
چکیده
We introduce the concept of Many Systems Concurrency Control (MSCC). We describe how MSCC can provide a scalable solution for shared state access in multiprocessor architectures. When contention for shared state increases we can afford additional resources to maintain overall performance. To achieve scalability we introduce the concept of no-wait synchronization. No-wait synchronization describes a parallel system within which a logical representation of a process exists that can always carry out its shared access requests in the same number of steps as an equivalent sequential implementation. We show that MSCC makes no-wait synchronization possible and can be implemented using finite resources. © 2011 Newcastle University. Printed and published by Newcastle University, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details SHARP, C., MORGAN, G. A Many Systems Interpretation of Concurrency Control [By] C. Sharp, G. Morgan Newcastle upon Tyne: Newcastle University: Computing Science, 2011. (Newcastle University, Computing Science, Technical Report Series, No. CS-TR-1299)
منابع مشابه
A Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملOptimization of majority protocol for controlling transactions concurrency in distributed databases by multi-agent systems
In this paper, we propose a new concurrency control algorithm based on multi-agent systems which is an extension of majority protocol. Then, we suggest a clustering approach to get better results in reliability, decreasing message passing and algorithm’s runtime. Here, we consider n different transactions working on non-conflict data items. Considering execution efficiency of some different...
متن کاملTowards Automated Proof Support for Probabilistic Distributed Systems
The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience indicates [12, 4, 11] that there are many difficulties in automating real-number arithmetic in the context of other program features. In this paper we propose a framework for verification of probabilistic distributed systems bas...
متن کاملA general concurrency control for database systems
The concurrency control problem in database systems has been examined by many people and several concurrency control algorithms have been proposed. The most popular concurrency controls are two-phase locking and timestamp ordering. This paper reviews both algorithms and shows that they are special cases of a more general concurrency control algorithm. This concurrency control algorithm is descr...
متن کامل